applicative functor(型クラス)
もしかして…
applicative functor (モジュール)
カインド
* -> *
をもつ型
f
について
(<*>) :: f (a -> b) -> f a -> f b
がある型クラス
2引数関数を
(+) a b
と呼ぶように
(+) <$> a <*> b
という呼び方ができる